Move tutorials from etc/ to etc/tutorials/
authorGlenn Morris <rgm@gnu.org>
Wed, 22 Aug 2007 07:37:42 +0000 (07:37 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 22 Aug 2007 07:37:42 +0000 (07:37 +0000)
commitd5dabea6e531abe2e342271cea7157e0924ec821
treea4e2ad60bbf96b507b99af207a073a2aefb166a0
parent70775c0aff383e5682b1861affc38761468a799a
Move tutorials from etc/ to etc/tutorials/
etc/TUTORIAL.sv [deleted file]